home *** CD-ROM | disk | FTP | other *** search
- 1 Looking up %s.\n
- 2 Failed to resolve host name.\n
- 3 Host name resolved.\n
- 4 Primary DNS: %s
- 5 Accessing end host at http://%s%s.\n
- 6 Using http proxy %s:%u.\n
- 7 Error accessing end host:
- 8 Failed to reach end host.\n
- 9 End host reached.\n
- 10 Different version on server:
- 11 Current local version:
- 12 Server is busy.\n
- 15 Upload Error to %s:
- 16 Using server: %s\n
- 17 Could not write to history file: %s\n
-